Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
201	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
202	Behavior-Driven Development in Haskell a tutorial introduction Simon Hengel Wimdu GmbH Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Software engineering Computer programming Software development Functional languages Haskell Functional programming Behavior-driven development Monad FIBS Fib Subroutine Standard Performance Evaluation Corporation
203	Course: Foundations for Processing Tree-Shaped Data with Applications to XML Technologies Pierre Genev`es December 1, 2015 This course aims at introducing principles and foundations for the correct Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-12-08 05:48:48 Computing Data Data management Functional languages 4GL XQuery NoSQL
204	Special Characters "" (stringification) pseudooperator, 467 "" key, 501 $" special variable, 261, 306 Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2005-01-13 11:42:51 Software engineering Computer programming Computing Subroutines Functional languages Scripting languages Compiler construction Object-oriented programming languages Scope Lexical analysis Regular expression Memoization
205	About Shawn H Corey Working as a contractor has given Shawn years of experience in various types of programming. His experience enables him to develop state-of-the-art programs that are both comprehensive and functional. Add to Reading List Source URL: web.ncf.ca Language: English - Date: 2011-08-20 13:24:06 Software engineering Software Computer programming Perl Cross-platform software High-level programming languages Scripting languages CPAN Adam Kennedy
206	Advances in Programming Languages APL12: Coursework Assignment, Review David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-17 17:51:35 Software engineering Computing Computer programming Functional languages Object-oriented programming languages Type theory Concurrent programming languages Programming paradigms Haskell Scala Mixin Concurrent computing
207	Univ.-Prof. Dr. Martin Hepp Professur für Allgemeine Betriebswirtschaftslehre, insbesondere E-Business Institut für Management marktorientierter Wertschöpfungsketten Add to Reading List Source URL: www.ebusiness-unibw.org Language: English - Date: 2016-07-26 08:52:52 Computing Web standards Markup languages Functional languages XSLT XML Schema KBEZ
208	Lock-free programming for the masses KC Sivaramakrishnan University of Cambridge Efficient concurrent programming libraries are essential for taking advantage of fine-grained parallelism on multicore hardware. We present Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Concurrency control Computing Software engineering Computer programming Transaction processing Software design patterns Functional languages Data management Software transactional memory Treiber Stack Lock OCaml
209	Optimizing Signal Graphs for Functional-Reactive Programs Janis Voigtl¨ander University of Bonn July 28th, 2015 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Functional languages Elm Py CX
210	The Functional Web Clojure Templating Libraries: Fleet and Enlive Glenn Vanderburg • InfoEther Add to Reading List Source URL: steve.vinoski.net Language: English - Date: 2010-10-04 21:54:38 Scripting languages Clojure Template processor Functional programming HTML element Web template system

UPDATE